hvm: Fix HVMOP_flush_tlbs to flush paging-mode state.

From: Peter Johnston <pjohnston@xensource.com>
Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/arch/x86/hvm/hvm.c b/xen/arch/x86/hvm/hvm.c
index 3834a86028c03a77ca8d55da75593863a4f9bced..9b45e5195c47377da8a946d2f8cb802b30445494 100644 (file)
--- a/xen/arch/x86/hvm/hvm.c
+++ b/xen/arch/x86/hvm/hvm.c
@@ -1657,7 +1657,15 @@ static int hvmop_set_pci_link_route(
 
 static int hvmop_flush_tlb_all(void)
 {
+    struct vcpu *v;
+
+    /* Flush paging-mode soft state (e.g., va->gfn cache; PAE PDPE cache). */
+    for_each_vcpu ( current->domain, v )
+        paging_update_cr3(v);
+
+    /* Flush all dirty TLBs. */
     flush_tlb_mask(current->domain->domain_dirty_cpumask);
+
     return 0;
 }